$\vdash$  $\forall$$A$,$B$,$C$:$\mathbb{P}$. ($A$ $\wedge$ $B$ $\wedge$ $C$) $\Leftarrow\!\Rightarrow$ (($A$ $\wedge$ $B$) $\wedge$ $C$)